Tập hợp Q các số hữu tỉ Lý thuyết